Language of mathematics

Results: 1871



#Item
391Theoretical computer science / Model theory / Automata theory / Regular language / Presburger arithmetic / Structure / Decision problem / Mathematics / Mathematical logic / Formal languages

On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-12-15 16:01:47
392Otemon Gakuin University / Algorithmic Number Theory Symposium / Mathematics / Rovira i Virgili University / Tarragona / Rovira

CALL FOR PAPERS Research Committee 25 Language & Society III Forum of Sociology International Sociological Association JulyVienna The next III ISA Forum of Sociology is taking placeJuly 2014 in Vienna,

Add to Reading List

Source URL: www.language-and-society.org

Language: English - Date: 2015-04-28 07:30:15
393Mathematics / Romanian language / T-comma / Comma / S-comma / Breve / Accent / Arial / Cartesian coordinate system / Languages of Europe / Music / Punctuation

AMERICAN TYPEWRITER Condensed Light The breve of lc |ă| is not centered along the vertical axis of the letter. The comma-accent of lc |ț| | is not centered along the vertical axis of the letter. How it should be:

Add to Reading List

Source URL: cdn.vanillaforums.com

Language: English - Date: 2015-04-09 01:03:19
394Pedagogy / Educational psychology / E-learning / Virtual learning environment / Student-centred learning / Mobile Assisted Language Learning / Blended learning / Education / Philosophy of education / Distance education

The challenge of providing a truly flexible and totally online postgraduate program ~~~~~œ~~~~~ Ian W. Gaynor and Stephen R. Kessell Science and Mathematics Education Centre Curtin University of Technology

Add to Reading List

Source URL: ctl.curtin.edu.au

Language: English - Date: 2015-04-09 06:33:22
395Visual arts / Applied mathematics / Multigrid method / Numerical analysis / Wavelets / Stencil codes / Stencil / OpenCL / Parallel computing / Computational science / GPGPU / Science

Towards a Performance-portable Description of Geometric Multigrid Algorithms using a Domain-specific Language Richard Membarth∗ German Research Center for Artificial Intelligence, Germany. Computer Graphics Lab & Intel

Add to Reading List

Source URL: graphics.cg.uni-saarland.de

Language: English - Date: 2014-12-01 08:28:29
396Computer science / Formal grammar / Regular expression / Regular language / Applied mathematics / Formal languages / Automata theory / Theoretical computer science

CS109B Notes for LectureExpressive Power of Languages There are several di erent schemes we have seen for describing languages: 1. DFA, NFA, RE, for de ning \regular sets."

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:59:06
397Numbers / Fraction / Prime number / 11 / Parity / Least common multiple / 300 / Greatest common divisor / 9 / Mathematics / Arithmetic / Elementary arithmetic

WHAT EVERY YOUNG MATHLETE SHOULD KNOW I. VOCABULARY AND LANGUAGE The following explains, defines, or lists some of the words that may be used in Olympiad problems. To be accepted, an answer must be consistent with both t

Add to Reading List

Source URL: www.moems.org

Language: English - Date: 2011-10-19 10:22:48
398Linguistics / N-gram / Natural language processing / Speech recognition / Nippon Telegraph and Telephone / Dirichlet process / Statistics / Stochastic processes / Probability and statistics

The Hong Kong University of Science & Technology Human Language Technology Center Department of Information & Systems Management Department of Mathematics Department of Computer Science and Engineering JOINT STATISTICS S

Add to Reading List

Source URL: www.bm.ust.hk

Language: English - Date: 2008-05-18 21:48:18
399Library science / Universal identifiers / Ada programming language / Ada / CODEN / SPARK / DDC-I / International Standard Serial Number / GNAT / Computing / Software engineering / Computer programming

A Bibliography of Ada User and Ada User Journal Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT

Add to Reading List

Source URL: ftp.math.utah.edu

Language: English - Date: 2015-02-13 08:27:22
400Educators / Teacher / Common Core State Standards Initiative / Educational psychology / Pedagogy / Instructional scaffolding / Education / Teaching / Education reform

Parents’ Guide to Student Success This guide provides an overview of what your child will learn by the end of 8th grade in mathematics and English language arts/literacy. It focuses on the key skills your child

Add to Reading List

Source URL: nyspta.org

Language: English - Date: 2013-07-30 11:58:19
UPDATE